Nuprl Definition : guard 13,42
{T} == T 
latex

Upcore 2, core 2
Wellformedness Lemmasguard wf, guard wf
FDL editor aliasesguard

origin